Using feedback to improve black box fuzz testing of SAT solvers

Given enough time, a hypothetical chimpanzee typing at random would, as part of its output, almost surely produce one of Shakespeare’s plays” (Wikipedia, 2009). Diese Aussage erklärt warum Fuzz Testing sehr erfolgreich eingesetzt wurde seit dem es von Miller 1990 (Miller, Fredrikson, & Bryan, 1990) und 1995 (Miller, et al., 1995) erstmals nachweislich verwendet wurde. Da es sehr kostspielig wäre, einen hypothetischen Schimpansen so lange mit Bananen zu versorgen, bis tatsächlich ein derartiges Stück als Teil des getippten produziert wird, müssen Techniken entwickelt werden um diesen Vorgang zu beschleunigen. Diese Masterarbeit untersucht ob black box fuzz testing von SAT solvern verbessert werden kann, indem Rückkopplungen und Methoden des Gebietes der Evolutionären Algorithmen angewandt werden. Dazu wird Intels pin tool verwendet, um Informationen über das Laufverhalten einer Testanwendung zu erhalten, und weitere Testeingaben werden generiert, indem vorhandene Eingaben, basierend auf den gewonnen Informationen, angepasst werden.